- spin model
- модель для испытаний на штопор
Англо-русский технический словарь.
spin model
Смотреть что такое "spin model" в других словарях:
SPIN model checker — SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others, and has evolved for more than 15 years. SPIN is an… … Wikipedia
SPIN — (ursprünglich ein Akronym für Simple PROMELA Interpreter) ist eines der bekanntesten Werkzeuge zur Modellprüfung (engl. Model Checking). SPIN prüft endliche Zustandsautomaten (engl. Finite State Machines) mit der temporalen Logik LTL. Zusätzlich… … Deutsch Wikipedia
Spin — may refer to:* Rotation or spin, a movement of an object in a circular motion * Spin (physics) or particle spin, a fundamental property of elementary particles * Spin (flight), a special and often intense case of a stall * Spin (public relations) … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Spin wave — Spin waves are propagating disturbances in the ordering of magnetic materials. These low lying collective excitations occur in magnetic lattices with continuous symmetry. From the equivalent quasiparticle point of view, spin waves are known as… … Wikipedia
Spin Aqua — were a short lived indies musical project between the model Anna Tsuchiya and the former Oblivion Dust guitarist K.A.Z. The duo performed music together for a year and seven months; releasing music for less than a year under the indies label… … Wikipedia
Spin (Begriffsklärung) — Spin (englisch für drehen) bezeichnet Spin, eine physikalische Eigenschaft von Elementarteilchen Spin (Tanzen), eine Tanzfigur Spin.de, eine deutsche Onlinechat Community Effet, die Rotation eines Balls Spin (Zeitschrift), ein US amerikanisches… … Deutsch Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Spin (physics) — This article is about spin in quantum mechanics. For rotation in classical mechanics, see angular momentum. In quantum mechanics and particle physics, spin is a fundamental characteristic property of elementary particles, composite particles… … Wikipedia
Spin (flight) — In aviation, a spin is an aggravated stall resulting in rotation about the center of gravity wherein the aircraft follows a downward corkscrew path. Spins can be entered unintentionally or intentionally, from any flight attitude and from… … Wikipedia
Spin glass — A spin glass is a disordered material exhibiting high magnetic frustration. The origin of the behavior can be either a disordered structure (such as that of a conventional, chemical glass) or a disordered magnetic doping in an otherwise regular… … Wikipedia
